(declare-fun k () (_ FloatingPoint 8 24))
(declare-fun z () (_ FloatingPoint 8 24))
(assert (fp.eq k x))
(assert (fp.eq z (fp.rem k y)))
(check-sat)
(declare-fun k () (_ FloatingPoint 8 24))
(declare-fun z () (_ FloatingPoint 8 24))
(assert (fp.eq k x))
(assert (fp.eq z (fp.rem x y)))
(check-sat)
